solved example of nested quantifiers